immutable class TUP{T1,T2,T3,T4} < $HASH, $STR |
---|
$STR | $HASH | $IS_EQ |
attr t1:T1; |
---|
attr t2:T2; |
---|
attr t3:T3; |
---|
attr t4:T4; |
---|
attr t1:T1; |
---|
attr t2:T2; |
---|
attr t3:T3; |
---|
attr t4:T4; |
---|
create(at1:T1, at2:T2, at3:T3, at4:T4):SAME |
---|
elt_eq(e1,e2:ETP):BOOL |
---|
**** | The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants. |
elt_eq(e1,e2:ETP):BOOL |
---|
**** | The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants. |
elt_eq(e1,e2:ETP):BOOL |
---|
**** | The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants. |
elt_hash(e:ETP):INT |
---|
**** | A hash value associated with an element. Must have the property that if "elt_eq(e1,e2)" then "elt_hash(e1)=elt_hash(e2)". Can be defined to always return 0, but many routines will then become quadratic. Uses object "id" by default. May be redefined in descendants. |
elt_hash(e:ETP):INT |
---|
**** | A hash value associated with an element. Must have the property that if "elt_eq(e1,e2)" then "elt_hash(e1)=elt_hash(e2)". Can be defined to always return 0, but many routines will then become quadratic. Uses object "id" by default. May be redefined in descendants. |
elt_hash(e:ETP):INT |
---|
**** | A hash value associated with an element. Must have the property that if "elt_eq(e1,e2)" then "elt_hash(e1)=elt_hash(e2)". Can be defined to always return 0, but many routines will then become quadratic. Uses object "id" by default. May be redefined in descendants. |
elt_lt(e1,e2:ETP):BOOL |
---|
**** | The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants. |
elt_lt(e1,e2:ETP):BOOL |
---|
**** | The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants. |
elt_lt(e1,e2:ETP):BOOL |
---|
**** | The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants. |
elt_nil: ETP |
---|
**** | Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return void
_ |
elt_nil: ETP |
---|
**** | Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return void
_ |
elt_nil: ETP |
---|
**** | Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return void
_ |
hash:INT |
---|
**** | A simple hash value computed from the hash values of the components. For this to work, these must either be value types which define hash values or reference types. |
is_elt_nil(e:ETP):BOOL |
---|
is_elt_nil(e:ETP):BOOL |
---|
is_elt_nil(e:ETP):BOOL |
---|
is_eq(e:SAME):BOOL |
---|
**** | True if the components of self and `e' are equal. |
is_eq(arg: $OB): BOOL |
---|
is_neq(e:SAME):BOOL |
---|
str: STR |
---|
elt_eq(e1,e2:ETP):BOOL |
---|
**** | The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants. |
elt_hash(e:ETP):INT |
---|
**** | A hash value associated with an element. Must have the property that if "elt_eq(e1,e2)" then "elt_hash(e1)=elt_hash(e2)". Can be defined to always return 0, but many routines will then become quadratic. Uses object "id" by default. May be redefined in descendants. |
elt_lt(e1,e2:ETP):BOOL |
---|
**** | The "less than" relation used in the sorting routines. Compares the object "id" by default. May be redefined in descendants. |
elt_nil: ETP |
---|
**** | Return the nil value. If the element is under $NIL then return e.nil. Otherwise, return void
_ |
is_elt_nil(e:ETP):BOOL |
---|